SpecTRM: A CAD SYSTEM FOR DIGITAL AUTOMATION
نویسندگان
چکیده
Introduction In the system engineering of complex systems that include digital automation, the most vexing and potentially costly problems arise in the early stages of development. Few adequate tools exist to assist in developing system requirements and architectures and translating the system requirements to software requirements. Serious unsolved problems also exist at the other end of the lifecycle in changing or upgrading automated control tasks without introducing errors. In addition, these two system development phases present the most serious and unsolved problems in certification and hazard analysis.
منابع مشابه
Design and Implementation of Software
The goal of this thesis is to develop software under the SpecTRM software package for the partial automation of tasks associated with reusing SpecTRM-RL component models. The automation software is designed to aid the application of component-based system engineering in SpecTRM, mainly by reducing the amount of manual work necessary in setting up component models for simulation. My thesis will ...
متن کاملDrug Discovery Acceleration Using Digital Microfluidic Biochip Architecture and Computer-aided-design Flow
A Digital Microfluidic Biochip (DMFB) offers a promising platform for medical diagnostics, DNA sequencing, Polymerase Chain Reaction (PCR), and drug discovery and development. Conventional Drug discovery procedures require timely and costly manned experiments with a high degree of human errors with no guarantee of success. On the other hand, DMFB can be a great solution for miniaturization, int...
متن کاملControl Systems : Lessons Learned and Steps to the
Previously, we deened a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, ...
متن کاملObstacles to Using CAD Tools for Embedded System Design: an automotive case study
Historically, Computer Aided Design (CAD) research for digital electronics design has emphasized support for the largest and most technically difficult projects. However, the success of many embedded system design efforts depends more on system-level and lifecycle cost optimization than on an ability to synthesize hardware containing millions of transistors. Thus, existing CAD tools may not off...
متن کاملFixture Design Automation and Optimization Techniques: Review and Future Trends
Fixture design is crucial part of manufacturing process. Fixture design is a critical design activity process, in which automation plays an integral role in linking computer-aided design (CAD) and computer-aided manufacturing (CAD). This paper presents a literature review in computer aided fixture design (CAFD) in terms of automation and optimization techniques over the past decades. First, the...
متن کامل